Sprite 1984 - 1993/Sprite 1984 - 1993.iso/lib/tex/inputs/pslatex/h-sc.pl

Text File | 1991-05-21 | 15.3 KB | 848 lines

(DESIGNSIZE R 10.0)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CODINGSCHEME AdobeStandardEncoding)
(FAMILY Helvetica)
(FONTDIMEN
   (SLANT R 0.000000)
   (SPACE R 0.305800)
   (STRETCH R 0.152900)
   (SHRINK R 0.101933)
   (XHEIGHT R 0.583000)
   (QUAD R 1.0)
   (EXTRASPACE R 0.101933)
   )
(CHARACTER O 40
   (CHARWD R 0.278000)
   )
(CHARACTER O 41
   (CHARWD R 0.278000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 42
   (CHARWD R 0.355000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 43
   (CHARWD R 0.556000)
   (CHARHT R 0.698000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 44
   (CHARWD R 0.556000)
   (CHARHT R 0.770000)
   (CHARDP R 0.125000)
   )
(CHARACTER O 45
   (CHARWD R 0.889000)
   (CHARHT R 0.708000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 46
   (CHARWD R 0.667000)
   (CHARHT R 0.710000)
   (CHARDP R 0.023000)
   )
(CHARACTER O 47
   (CHARWD R 0.222000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 50
   (CHARWD R 0.333000)
   (CHARHT R 0.729000)
   (CHARDP R 0.213000)
   )
(CHARACTER O 51
   (CHARWD R 0.333000)
   (CHARHT R 0.729000)
   (CHARDP R 0.213000)
   )
(CHARACTER O 52
   (CHARWD R 0.389000)
   (CHARHT R 0.740000)
   )
(CHARACTER O 53
   (CHARWD R 0.584000)
   (CHARHT R 0.474000)
   (CHARDP R 0.010000)
   )
(CHARACTER O 54
   (CHARWD R 0.278000)
   (CHARHT R 0.104000)
   (CHARDP R 0.150000)
   )
(CHARACTER O 55
   (CHARWD R 0.333000)
   (CHARHT R 0.313000)
   )
(CHARACTER O 56
   (CHARWD R 0.278000)
   (CHARHT R 0.104000)
   )
(CHARACTER O 57
   (CHARWD R 0.278000)
   (CHARHT R 0.708000)
   (CHARDP R 0.021000)
   (CHARIC R 0.006000)
   )
(CHARACTER C 0
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER C 1
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   )
(CHARACTER C 2
   (CHARWD R 0.556000)
   (CHARHT R 0.710000)
   )
(CHARACTER C 3
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER C 4
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   )
(CHARACTER C 5
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER C 6
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER C 7
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   )
(CHARACTER C 8
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER C 9
   (CHARWD R 0.556000)
   (CHARHT R 0.709000)
   (CHARDP R 0.023000)
   )
(CHARACTER O 72
   (CHARWD R 0.278000)
   (CHARHT R 0.525000)
   )
(CHARACTER O 73
   (CHARWD R 0.278000)
   (CHARHT R 0.516000)
   (CHARDP R 0.150000)
   )
(CHARACTER O 74
   (CHARWD R 0.584000)
   (CHARHT R 0.474000)
   (CHARDP R 0.010000)
   )
(CHARACTER O 75
   (CHARWD R 0.584000)
   (CHARHT R 0.352000)
   )
(CHARACTER O 76
   (CHARWD R 0.584000)
   (CHARHT R 0.474000)
   (CHARDP R 0.010000)
   )
(CHARACTER O 77
   (CHARWD R 0.556000)
   (CHARHT R 0.738000)
   )
(CHARACTER O 100
   (CHARWD R 1.015000)
   (CHARHT R 0.737000)
   (CHARDP R 0.146000)
   )
(CHARACTER C A
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C B
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C C
   (CHARWD R 0.722000)
   (CHARHT R 0.741000)
   (CHARDP R 0.023000)
   )
(CHARACTER C D
   (CHARWD R 0.722000)
   (CHARHT R 0.729000)
   )
(CHARACTER C E
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C F
   (CHARWD R 0.611000)
   (CHARHT R 0.729000)
   )
(CHARACTER C G
   (CHARWD R 0.778000)
   (CHARHT R 0.741000)
   (CHARDP R 0.023000)
   )
(CHARACTER C H
   (CHARWD R 0.722000)
   (CHARHT R 0.729000)
   )
(CHARACTER C I
   (CHARWD R 0.278000)
   (CHARHT R 0.729000)
   )
(CHARACTER C J
   (CHARWD R 0.500000)
   (CHARHT R 0.729000)
   (CHARDP R 0.026000)
   )
(CHARACTER C K
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C L
   (CHARWD R 0.556000)
   (CHARHT R 0.729000)
   )
(CHARACTER C M
   (CHARWD R 0.833000)
   (CHARHT R 0.729000)
   )
(CHARACTER C N
   (CHARWD R 0.722000)
   (CHARHT R 0.729000)
   )
(CHARACTER C O
   (CHARWD R 0.778000)
   (CHARHT R 0.741000)
   (CHARDP R 0.023000)
   )
(CHARACTER C P
   (CHARWD R 0.667000)
   (CHARHT R 0.730000)
   )
(CHARACTER C Q
   (CHARWD R 0.778000)
   (CHARHT R 0.741000)
   (CHARDP R 0.059000)
   )
(CHARACTER C R
   (CHARWD R 0.722000)
   (CHARHT R 0.729000)
   )
(CHARACTER C S
   (CHARWD R 0.667000)
   (CHARHT R 0.741000)
   (CHARDP R 0.023000)
   )
(CHARACTER C T
   (CHARWD R 0.611000)
   (CHARHT R 0.729000)
   )
(CHARACTER C U
   (CHARWD R 0.722000)
   (CHARHT R 0.729000)
   (CHARDP R 0.023000)
   )
(CHARACTER C V
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C W
   (CHARWD R 0.944000)
   (CHARHT R 0.729000)
   )
(CHARACTER C X
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C Y
   (CHARWD R 0.667000)
   (CHARHT R 0.729000)
   )
(CHARACTER C Z
   (CHARWD R 0.611000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 133
   (CHARWD R 0.278000)
   (CHARHT R 0.729000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 134
   (CHARWD R 0.278000)
   (CHARHT R 0.729000)
   (CHARDP R 0.020000)
   (CHARIC R 0.006000)
   )
(CHARACTER O 135
   (CHARWD R 0.278000)
   (CHARHT R 0.729000)
   (CHARDP R 0.215000)
   )
(CHARACTER O 136
   (CHARWD R 0.469000)
   (CHARHT R 0.713000)
   )
(CHARACTER O 137
   (CHARWD R 0.556000)
   (CHARDP R 0.175000)
   (CHARIC R 0.022000)
   )
(CHARACTER O 140
   (CHARWD R 0.222000)
   (CHARHT R 0.708000)
   )
(CHARACTER C a
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C b
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C c
   (CHARWD R 0.578000)
   (CHARHT R 0.593000)
   (CHARDP R 0.017000)
   )
(CHARACTER C d
   (CHARWD R 0.578000)
   (CHARHT R 0.583000)
   )
(CHARACTER C e
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C f
   (CHARWD R 0.489000)
   (CHARHT R 0.583000)
   )
(CHARACTER C g
   (CHARWD R 0.622000)
   (CHARHT R 0.593000)
   (CHARDP R 0.017000)
   )
(CHARACTER C h
   (CHARWD R 0.578000)
   (CHARHT R 0.583000)
   )
(CHARACTER C i
   (CHARWD R 0.222000)
   (CHARHT R 0.583000)
   )
(CHARACTER C j
   (CHARWD R 0.400000)
   (CHARHT R 0.583000)
   (CHARDP R 0.020000)
   )
(CHARACTER C k
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C l
   (CHARWD R 0.445000)
   (CHARHT R 0.583000)
   )
(CHARACTER C m
   (CHARWD R 0.666000)
   (CHARHT R 0.583000)
   )
(CHARACTER C n
   (CHARWD R 0.578000)
   (CHARHT R 0.583000)
   )
(CHARACTER C o
   (CHARWD R 0.622000)
   (CHARHT R 0.593000)
   (CHARDP R 0.017000)
   )
(CHARACTER C p
   (CHARWD R 0.534000)
   (CHARHT R 0.584000)
   )
(CHARACTER C q
   (CHARWD R 0.622000)
   (CHARHT R 0.593000)
   (CHARDP R 0.046000)
   )
(CHARACTER C r
   (CHARWD R 0.578000)
   (CHARHT R 0.583000)
   )
(CHARACTER C s
   (CHARWD R 0.534000)
   (CHARHT R 0.593000)
   (CHARDP R 0.017000)
   )
(CHARACTER C t
   (CHARWD R 0.489000)
   (CHARHT R 0.583000)
   )
(CHARACTER C u
   (CHARWD R 0.578000)
   (CHARHT R 0.583000)
   (CHARDP R 0.017000)
   )
(CHARACTER C v
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C w
   (CHARWD R 0.755000)
   (CHARHT R 0.583000)
   )
(CHARACTER C x
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C y
   (CHARWD R 0.534000)
   (CHARHT R 0.583000)
   )
(CHARACTER C z
   (CHARWD R 0.489000)
   (CHARHT R 0.583000)
   )
(CHARACTER O 173
   (CHARWD R 0.334000)
   (CHARHT R 0.731000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 174
   (CHARWD R 0.260000)
   (CHARHT R 0.729000)
   (CHARDP R 0.215000)
   )
(CHARACTER O 175
   (CHARWD R 0.334000)
   (CHARHT R 0.731000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 176
   (CHARWD R 0.584000)
   (CHARHT R 0.438000)
   )
(CHARACTER O 241
   (CHARWD R 0.333000)
   (CHARHT R 0.525000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 242
   (CHARWD R 0.556000)
   (CHARHT R 0.628000)
   (CHARDP R 0.120000)
   )
(CHARACTER O 243
   (CHARWD R 0.556000)
   (CHARHT R 0.726000)
   (CHARDP R 0.021000)
   )
(CHARACTER O 244
   (CHARWD R 0.167000)
   (CHARHT R 0.708000)
   (CHARDP R 0.021000)
   (CHARIC R 0.169000)
   )
(CHARACTER O 245
   (CHARWD R 0.556000)
   (CHARHT R 0.710000)
   )
(CHARACTER O 246
   (CHARWD R 0.556000)
   (CHARHT R 0.742000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 247
   (CHARWD R 0.556000)
   (CHARHT R 0.729000)
   (CHARDP R 0.215000)
   )
(CHARACTER O 250
   (CHARWD R 0.556000)
   (CHARHT R 0.554000)
   )
(CHARACTER O 251
   (CHARWD R 0.191000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 252
   (CHARWD R 0.333000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 253
   (CHARWD R 0.556000)
   (CHARHT R 0.438000)
   )
(CHARACTER O 254
   (CHARWD R 0.333000)
   (CHARHT R 0.436000)
   )
(CHARACTER O 255
   (CHARWD R 0.333000)
   (CHARHT R 0.436000)
   )
(CHARACTER O 256
   (CHARWD R 0.500000)
   (CHARHT R 0.733000)
   )
(CHARACTER O 257
   (CHARWD R 0.500000)
   (CHARHT R 0.733000)
   )
(CHARACTER O 261
   (CHARWD R 0.556000)
   (CHARHT R 0.313000)
   (CHARIC R 0.005000)
   )
(CHARACTER O 262
   (CHARWD R 0.556000)
   (CHARHT R 0.710000)
   (CHARDP R 0.178000)
   )
(CHARACTER O 263
   (CHARWD R 0.556000)
   (CHARHT R 0.710000)
   (CHARDP R 0.178000)
   )
(CHARACTER O 264
   (CHARWD R 0.278000)
   (CHARHT R 0.442000)
   )
(CHARACTER O 266
   (CHARWD R 0.537000)
   (CHARHT R 0.729000)
   (CHARDP R 0.178000)
   )
(CHARACTER O 267
   (CHARWD R 0.350000)
   (CHARHT R 0.470000)
   )
(CHARACTER O 270
   (CHARWD R 0.222000)
   (CHARHT R 0.103000)
   (CHARDP R 0.129000)
   )
(CHARACTER O 271
   (CHARWD R 0.333000)
   (CHARHT R 0.103000)
   (CHARDP R 0.129000)
   )
(CHARACTER O 272
   (CHARWD R 0.333000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 273
   (CHARWD R 0.556000)
   (CHARHT R 0.438000)
   )
(CHARACTER O 274
   (CHARWD R 1.000000)
   (CHARHT R 0.104000)
   )
(CHARACTER O 275
   (CHARWD R 1.000000)
   (CHARHT R 0.740000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 277
   (CHARWD R 0.611000)
   (CHARHT R 0.525000)
   (CHARDP R 0.213000)
   )
(CHARACTER O 301
   (CHARWD R 0.333000)
   (CHARHT R 0.740000)
   )
(CHARACTER O 302
   (CHARWD R 0.333000)
   (CHARHT R 0.740000)
   )
(CHARACTER O 303
   (CHARWD R 0.333000)
   (CHARHT R 0.741000)
   )
(CHARACTER O 304
   (CHARWD R 0.333000)
   (CHARHT R 0.716000)
   )
(CHARACTER O 305
   (CHARWD R 0.333000)
   (CHARHT R 0.694000)
   )
(CHARACTER O 306
   (CHARWD R 0.333000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 307
   (CHARWD R 0.333000)
   (CHARHT R 0.709000)
   )
(CHARACTER O 310
   (CHARWD R 0.333000)
   (CHARHT R 0.708000)
   )
(CHARACTER O 312
   (CHARWD R 0.333000)
   (CHARHT R 0.741000)
   )
(CHARACTER O 313
   (CHARWD R 0.333000)
   (CHARDP R 0.214000)
   )
(CHARACTER O 315
   (CHARWD R 0.333000)
   (CHARHT R 0.740000)
   (CHARIC R 0.015000)
   )
(CHARACTER O 316
   (CHARWD R 0.333000)
   (CHARHT R 0.015000)
   (CHARDP R 0.189000)
   )
(CHARACTER O 317
   (CHARWD R 0.333000)
   (CHARHT R 0.740000)
   )
(CHARACTER O 320
   (CHARWD R 1.000000)
   (CHARHT R 0.313000)
   (CHARIC R 0.001000)
   )
(CHARACTER O 341
   (CHARWD R 1.000000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 343
   (CHARWD R 0.370000)
   (CHARHT R 0.740000)
   )
(CHARACTER O 350
   (CHARWD R 0.556000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 351
   (CHARWD R 0.778000)
   (CHARHT R 0.742000)
   (CHARDP R 0.023000)
   )
(CHARACTER O 352
   (CHARWD R 1.000000)
   (CHARHT R 0.739000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 353
   (CHARWD R 0.365000)
   (CHARHT R 0.741000)
   )
(CHARACTER O 361
   (CHARWD R 0.889000)
   (CHARHT R 0.546000)
   (CHARDP R 0.020000)
   )
(CHARACTER O 365
   (CHARWD R 0.278000)
   (CHARHT R 0.525000)
   )
(CHARACTER O 370
   (CHARWD R 0.222000)
   (CHARHT R 0.729000)
   )
(CHARACTER O 371
   (CHARWD R 0.611000)
   (CHARHT R 0.548000)
   (CHARDP R 0.027000)
   )
(CHARACTER O 372
   (CHARWD R 0.944000)
   (CHARHT R 0.540000)
   (CHARDP R 0.022000)
   )
(CHARACTER O 373
   (CHARWD R 0.611000)
   (CHARHT R 0.729000)
   (CHARDP R 0.020000)
   )
(LIGTABLE
   (LABEL O 101)
   (KRN O 124 R -0.074000)
   (KRN O 126 R -0.074000)
   (KRN O 127 R -0.037000)
   (KRN O 131 R -0.074000)
   (KRN O 47 R -0.074000)
   (KRN O 40 R -0.055000)
   (KRN O 164 R -0.074000)
   (KRN O 166 R -0.074000)
   (KRN O 167 R -0.037000)
   (KRN O 171 R -0.074000)
   (STOP)
   (LABEL O 106)
   (KRN O 101 R -0.055000)
   (KRN O 141 R -0.055000)
   (KRN O 54 R -0.111000)
   (KRN O 56 R -0.111000)
   (STOP)
   (LABEL O 114)
   (KRN O 124 R -0.074000)
   (KRN O 126 R -0.074000)
   (KRN O 127 R -0.074000)
   (KRN O 131 R -0.074000)
   (KRN O 47 R -0.055000)
   (KRN O 40 R -0.037000)
   (KRN O 164 R -0.074000)
   (KRN O 166 R -0.074000)
   (KRN O 167 R -0.074000)
   (KRN O 171 R -0.074000)
   (STOP)
   (LABEL O 120)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (KRN O 54 R -0.129000)
   (KRN O 56 R -0.129000)
   (KRN O 40 R -0.018000)
   (STOP)
   (LABEL O 122)
   (KRN O 124 R -0.018000)
   (KRN O 126 R -0.018000)
   (KRN O 127 R -0.018000)
   (KRN O 131 R -0.018000)
   (KRN O 164 R -0.018000)
   (KRN O 166 R -0.018000)
   (KRN O 167 R -0.018000)
   (KRN O 171 R -0.018000)
   (STOP)
   (LABEL O 124)
   (KRN O 101 R -0.074000)
   (KRN O 117 R -0.018000)
   (KRN O 141 R -0.074000)
   (KRN O 72 R -0.111000)
   (KRN O 54 R -0.111000)
   (KRN O 55 R -0.055000)
   (KRN O 157 R -0.018000)
   (KRN O 56 R -0.111000)
   (KRN O 73 R -0.111000)
   (KRN O 40 R -0.018000)
   (STOP)
   (LABEL O 126)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (KRN O 72 R -0.037000)
   (KRN O 54 R -0.092000)
   (KRN O 55 R -0.055000)
   (KRN O 56 R -0.092000)
   (KRN O 73 R -0.037000)
   (STOP)
   (LABEL O 127)
   (KRN O 101 R -0.037000)
   (KRN O 141 R -0.037000)
   (KRN O 72 R -0.018000)
   (KRN O 54 R -0.055000)
   (KRN O 55 R -0.018000)
   (KRN O 56 R -0.055000)
   (KRN O 73 R -0.018000)
   (STOP)
   (LABEL O 131)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (KRN O 72 R -0.055000)
   (KRN O 54 R -0.129000)
   (KRN O 55 R -0.092000)
   (KRN O 56 R -0.129000)
   (KRN O 73 R -0.065000)
   (KRN O 40 R -0.018000)
   (STOP)
   (LABEL O 141)
   (KRN O 124 R -0.074000)
   (KRN O 126 R -0.074000)
   (KRN O 127 R -0.037000)
   (KRN O 131 R -0.074000)
   (KRN O 164 R -0.074000)
   (KRN O 166 R -0.074000)
   (KRN O 167 R -0.037000)
   (KRN O 171 R -0.074000)
   (STOP)
   (LABEL O 146)
   (KRN O 101 R -0.055000)
   (KRN O 141 R -0.055000)
   (STOP)
   (LABEL O 154)
   (KRN O 124 R -0.074000)
   (KRN O 126 R -0.074000)
   (KRN O 127 R -0.074000)
   (KRN O 131 R -0.074000)
   (KRN O 164 R -0.074000)
   (KRN O 166 R -0.074000)
   (KRN O 167 R -0.074000)
   (KRN O 171 R -0.074000)
   (STOP)
   (LABEL O 61)
   (KRN O 61 R -0.074000)
   (STOP)
   (LABEL O 160)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (STOP)
   (LABEL O 47)
   (LIG O 47 O 272)
   (KRN O 40 R -0.037000)
   (STOP)
   (LABEL O 162)
   (KRN O 124 R -0.018000)
   (KRN O 126 R -0.018000)
   (KRN O 127 R -0.018000)
   (KRN O 131 R -0.018000)
   (KRN O 164 R -0.018000)
   (KRN O 166 R -0.018000)
   (KRN O 167 R -0.018000)
   (KRN O 171 R -0.018000)
   (STOP)
   (LABEL O 40)
   (KRN O 101 R -0.055000)
   (KRN O 124 R -0.018000)
   (KRN O 131 R -0.018000)
   (STOP)
   (LABEL O 164)
   (KRN O 101 R -0.074000)
   (KRN O 117 R -0.018000)
   (KRN O 141 R -0.074000)
   (KRN O 157 R -0.018000)
   (STOP)
   (LABEL O 166)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (STOP)
   (LABEL O 167)
   (KRN O 101 R -0.037000)
   (KRN O 141 R -0.037000)
   (STOP)
   (LABEL O 171)
   (KRN O 101 R -0.074000)
   (KRN O 141 R -0.074000)
   (STOP)
   (LABEL O 41)
   (LIG O 140 O 241)
   (STOP)
   (LABEL O 77)
   (LIG O 140 O 277)
   (STOP)
   (LABEL O 55)
   (LIG O 55 O 261)
   (STOP)
   (LABEL O 261)
   (LIG O 55 O 320)
   (STOP)
   (LABEL O 140)
   (LIG O 140 O 252)
   (STOP)
   )